package org.act.BPEL2Automata.automata.module;


/**
 * <b>TransitionRule</b> consists of 3 parts:start state,message and end state.
 * @author baoxiwu<bb@feijiao.info>,ACT,Beihang University
 * @version 0.9.0
 * @since 2010-03-24
 * 
 */

//<object>TransitionRule</object>s form TransitionFunctions.
//class definition for NFA
public class TransitionRule {
	private State start = null;
	private Message mes = null;
	private State end = null;
	
	public TransitionRule(){
	//empty
	}
	
	public TransitionRule(State start,Message mes,State end){
		this.start = start;
		this.mes = mes;
		this.end = end;
	}
	
	
	//setter and getter methods
	public void setStartState(State start){
		this.start = start;
	}
	
	public State getStartState(){
		return this.start;
	}
	
	public void setMessage(Message mes){
		this.mes = mes;
	}
	
	public Message getMessage(){
		return this.mes;
	}
	
	public void setEndState(State end){
		this.end = end;
	}
	
	public State getEndState(){
		return this.end;
	}
}
